es{-}index(${\it es}$; $e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$index(es{-}eq(${\it es}$); idlnk{-}deq; es{-}pred?(${\it es}$); es\_info(${\it es}$); (es{-}oaxioms(${\it es}$).1); $e$)